1. Abduction and Induction
المؤلف: edited by Peter A. Flach, Antonis C. Kakas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
2. Advances in Computing, Communication, and Control :
المؤلف: edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Computer software.
رده :
QA75
.
5
E358
2013
3. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
المؤلف: edited by J. F. Traub
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
4. Algorithms and computation :
المؤلف: Takao Asano...[et al.] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Congresses.
رده :
QA76
.
9
.
A43
I83
2011
5. Artificial intelligence research and development :
المؤلف: edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
6. Automated deduction in geometr
المؤلف: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
7. Combinatorial optimization and applications :
المؤلف: Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
رده :
QA402
.
5
.
C5423
2017
8. Computational Geometry on Surfaces :
المؤلف: by Clara I. Grima, Alberto Márquez.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Electronic data processing.
رده :
QA643
.
B935
2001
9. Computational Techniques in Quantum Chemistry and Molecular Physics :
المؤلف: edited by G.H.F. Diercksen, B.T. Sutcliffe, A. Veillard.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.
رده :
QC175
.
16
.
M6
E358
1975
10. Computational complexity
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
11. Computational logistics :
المؤلف: Dario Pacino, Stefan Voß, Rune Møller Jensen (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business logistics-- Data processing, Congresses,Information technology, Congresses
رده :
HD38
.
5
.
I58
2013
12. Contemporary computing :
المؤلف: Sanjay Ranka [and others] (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Soft computing, Congresses.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Informatique.,Soft computing.,Soft computing.
رده :
QA75
.
5
.
I584
2009
13. 3D Video Coding for Embedded Device
المؤلف: / by Bruno Zatt, Muhammad Shafique, Sergio Bampi, J?╢rg Henkel
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Engineering,Computer science,Electronics,Systems engineering,Electronic books
رده :
E-BOOK
14. Facing the Multicore - Challenge II
المؤلف: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
15. Finite Fields: Theory and Computation
المؤلف: by Igor E. Shparlinski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Computational complexity.,Electronic data processing.,Field theory (Physics).,Mathematics.,Number theory.
16. Fundamentals of computation theory : International Conference, FCT'89, Szeged, Hungary, August 21-25, 1989 : proceedings
المؤلف: J. Csirik, J. Demetrovics, eds
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
75
.
5
.
I573
1989
17. Fundamentals of computation theory : Proceedings : International Conference FCT'89, Szeged, Hungary, August 21-25, 1989
المؤلف: J. Csirik, J. Demetrovics, eds
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
380
18. Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
المؤلف: L. Budach, ed,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Electronic data processing - Congresses,Computational complexity - Congresses
رده :
QA
.
I573
75
.
5
1991
19. Fundamentals of computation theory: 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
پدیدآورنده : FCT '19)1991 :Gosen, Brandenburg, Germany(, L. Budach, ed
موضوع : ، Electronic data processing- Congresses,، Computational complexity- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
20. Fundamentals of computation theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings
المؤلف: L. Budach, ed
المکتبة: (طهران)
موضوع: Congresses ، Electronic data processing,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
529
